Contracts for Studies of Library Service
نویسندگان
چکیده
منابع مشابه
Constraints for Service Contracts
This paper focuses on client-service interactions distinguishing between three phases: negotiate, commit and execute. The participants negotiate their behaviours, and if an agreement is reached they commit and start an execution which is guaranteed to respect the interaction scheme agreed upon. These ideas are materialised through a calculus of contracts enriched with semiringbased constraints,...
متن کاملAutomata for Analysing Service Contracts
A novel approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of principals each individual gets his requests satisfied, so that the overall composition reaches its goal. Depending on whether requests are satisfied synchronously or asynchronously, we construct an orchestrator ...
متن کاملComposition Contracts for Service Interaction
In this paper, we address some of the challenges raised by the emerging serviceoriented computing paradigm in what concerns the ability to define dynamic interactions between core services for flexible and agile business processes. We claim that, from this point of view, service interaction and composition is well beyond the reach of object-oriented and componentbased techniques. We argue inste...
متن کاملQuerying service contracts
Considering a broad definition for service contracts (beyond web services and software, e.g. airlinetickets and insurance policies), we tackle the challenges of building a high performance broker inwhich contracts are both specified and queried through their temporal behavior. The temporaldimension, in conjunction with traditional relational attributes, enables our system to better ...
متن کاملAutomata for Specifying and Orchestrating Service Contracts
An approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of principals each of them gets his requests satisfied, so that the overall composition reaches its goal. Depending on whether requests are satisfied synchronously or asynchronously, we construct an orchestrator that at ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: College & Research Libraries News
سال: 1972
ISSN: 2150-6698,0099-0086
DOI: 10.5860/crln.33.9.257